Generación automática de prototipos funcionales a partir de esquemas preconceptuales

La Educción de Requisitos es una tarea compleja, dado que es en este proceso donde se establecen los elementos del aplicativo de software a desarrollar. Esta tarea, frecuentemente, presenta problemas de comunicación debido a las diferentes formaciones que tienen los analistas e interesados. Usualmente, la información recolectada en las entrevistas se suele plasmar en esquemas conceptuales, generalmente de UML. Aunque estos diagramas son estándar no permiten una validación del interesado debido a su complejidad, ya que son cercanos al lenguaje técnico del analista. Una vez finalizada la Educción de Requisitos, se procede con la generación del código fuente de la aplicación. Con el fin de mejorar y agilizar este proceso existen varios métodos de desarrollo de software que impulsan la generación automática de código. Para tal fin, se utilizan las herramientas CASE convencionales, pero aún están muy distantes de exhibir un proceso automático y muchas de estas herramientas se complementan con algunos trabajos que se alejan de los estándares de modelado. La mayoría de estas herramientas CASE generan parte del código fuente, pero no generan completamente la aplicación de software funcional. Con el fin de solucionar estos problemas, en esta Tesis, se propone un conjunto de reglas heurísticas para generar, automáticamente, una aplicación de software totalmente funcional a partir de Esquemas Preconceptuales bajo el patrón arquitectónico MVC, utilizando como lenguaje de programación PHP 5.x con XHTML. Además, se propone un conjunto de reglas heurísticas para generar, automáticamente, el diagrama entidad-relación y las sentencias DDL para el gestor de base de datos MySQL. Al utilizar los Esquemas Preconceptuales se mejora la comunicación con el interesado, dada la cercanía con el lenguaje natural que poseen estos esquemas. Adicionalmente, se mejora la calidad de las aplicaciones de software ya que es posible obtener una validación del interesado para dicho diagrama durante todas las fases del desarrollo. Esta Tesis se complementa con la elaboración de una herramienta CASE en la cual se incorporan todas las reglas heurísticas definidas para la generación automática del código. El funcionamiento de esta herramienta se ejemplifica con un caso de laboratorio. /Abstract. Requirements elicitation is a complex task, because in this process the elements of the software to-be-made are established. Frequently, this task is affected by communication problems, due to the fact that both analysts and stakeholders (the main actors of this task) have differences in training. Commonly, the information gathered during interviews is reflected into conceptual schemas, mainly UML diagrams. Even though UML diagrams are standardized, they are barely validated by stakeholders, because the UML diagrams are complex and nearer to the analyst technical language. Once requirements elicitation task is completed, source code of the application can be developed. In order to improve and speed up this process, several software development methods searching for the automated generation of code are proposed. So, well-known CASE tools are employed, but they are far away from automated processes and, sometimes, they are non-standard modeling proposals. Most of these tools partially generated source code, but the resulting application is barely functional. Trying to fix the above problems, in this Thesis I propose a set of heuristic rules for automatically generating a fully-functional software application from pre-conceptual schemas. Both the MVC architectural pattern and the XHTML-based PHP 5.x language are selected for this process. Also, I propose a set of heuristic rules for automatically generating the entity-relationship diagram and the DDL commands for constructing and using the MySQL database management system. The usage of pre-conceptual schemas improves the analyst-stakeholder communication process, because such schemas are closer to the natural language. Also, the stakeholder validation of pre-conceptual schemas we can achieve during all the phases of software development lifecycle improves the quality of the software application. This M. Sc. Thesis is complemented by the elaboration of a CASE tool which includes all the defined heuristic rules for automated code generation. A lab case is used to exemplify the functioning of the above mentioned CASE tool.Maestrí

Definición de un esquema preconceptual para la obtención automática de esquemas conceptuales de UML

Resumen: La elicitación de requisitos de software es una parte de la ingeniería de requisitos donde se procura capturar, analizar, sintetizar y convertir a esquemas conceptuales las necesidades del interesado. Este proceso, que se realiza interactivamente con la participación de analistas e interesados en el desarrollo de la pieza de software, suele presentar problemas de comunicación originados en la diferencia de especialidades de los participantes en el desarrollo de la pieza de software. Tradicionalmente, en ingeniería de software se han solucionado los problemas de este tipo empleando métodos de desarrollo. Dado que los diferentes métodos no garantizan la solución de los problemas de comunicación, ha surgido una nueva tendencia para la generación automática de esquemas conceptuales desde lenguajes controlados. En esta nueva tendencia, existen aún problemas tales como los siguientes: •Se sigue requiriendo una alta participación del analista, lo cual hace subjetivo el proceso. •Se suelen enfocar los proyectos hacia la obtención de un solo diagrama (generalmente Clases o Entidad-Relación). •Cuando los proyectos se enfocan a obtener varios diagramas de UML, se suelen emplear representaciones intermedias independientes para cada uno de los diagramas generados, lo que suele ocasionar problemas de consistencia entre los diagramas resultantes. En esta Tesis se propone un entorno para la generación automática de esquemas conceptuales de UML a partir de un lenguaje controlado denominado UN-Lencep. Para ello, se define un nuevo tipo de esquemas intermedios—los Esquemas Preconceptuales—y se propone un conjunto de reglas heurísticas de transformación desde UN-Lencep hacia Esquemas Preconceptuales y de allí a los diagramas de Clases, Comunicación y Máquina de Estados. Los principales aportes de esta Tesis se pueden sintetizar así: •La especificación de UN-Lencep, un nuevo lenguaje controlado que puede ser aplicable a cualquier dominio, pero que contiene los elementos necesarios para obtener automáticamente los denominados Esquemas Preconceptuales. •La definición de los Esquemas Preconceptuales, su sintaxis y su forma de uso, además de las reglas para obtenerlos desde UN-Lencep. •La conformación de un conjunto de reglas heurísticas que permiten la generación automática de diagramas de Clases, Comunicación y Máquina de Estados a partir de los Esquemas Preconceptuales. •La implementación de los elementos descritos en una nuevo tipo de herramientas CASE, que se ocupa de la interpretación de un discurso en UN-Lencep para generar automáticamente los diagramas de UML mencionados. El prototipo de una herramienta CASE de este tipo, denominado UNC-Diagramador, también es un aporte de esta Tesis. Con estos aportes se pretende la reducción del tiempo de elaboración de los diagramas de UML, el mejoramiento de la calidad de los diagramas que hacen parte de un mismo discurso en UN-Lencep y la creación de un conjunto de artefactos que permitan mejorar la comunicación entre analistas e interesados, acercando el lenguaje técnico del analista al lenguaje natural del interesado, y posibilitando la validación de los elementos que hacen parte de la descripción de un problema que requiere una solución informática. Finalmente, se pretende el mejoramiento de la calidad, la cual se entiende como la carencia de errores en corrección (la utilización de la sintaxis adecuada), consistencia (la representación de un mismo elemento en diferentes diagramas) y completitud (la adecuación de cada uno de los diagramas con el discurso en UN-Lencep). Como trabajos futuros que se encuentran fuera del alcance de estatesis, pero que se pueden nutrir de sus resultados, se cuentan los siguientes: •La generación automática de código ejecutable a partir de los diagramas que arroja el UNC-Diagramador. •La definición de reglas heurísticas para la obtención de otros diagramas de UML, por ejemplo Casos de Uso o Secuencias. •La complementación de la especificación de UN-Lencep, para acercarlo cada vez más a lenguaje natural.Abstract: Software Requirements Elicitation is the branch of Requirements Engineering to capture, analyze, synthesize, and convert the needs of the stakeholders into conceptual schemas. This process is made by means of the interactive participation of analysts and stakeholders in the software development process, and most of the times it presents communication problems, which can be originated in the differences of specialties among software development participants. Software development methods have been traditionally used in order to solve communication problems, and Requirements Engineering is an important part of these methods. Due to the fact that Software development methods are not good enough for solving communication problems, a new trend for automatic generation of conceptual schemas from controlled languages has emerged. However, this new trend still has problems to be solved: •Analysts are often required in the process, and their subjectivity affects the entire process. •Projects of this new trend are focused on obtaining only one diagram (commonly class diagram or entity-relationship diagram). •When projects are focused on several UML diagrams, they use intermediate representations oriented independently to every one of the target diagrams. Consequently, consistency problems among the resulting diagrams arise. We propose, in this Thesis, a new environment for automatically generating UML conceptual schemas from UN-Lencep (a controlled language). We also define, in order to achieve this goal, a new kind of intermediate schemas, called Pre-conceptual Schemas, and we propose a set of rules to transform a UN-Lencep discourse to these intermediate schemas, and then to Class, Communication, and State Machine diagrams. The main contributions of this work are summarized as follows: •The specification of UN-Lencep, a new controlled language applicable to any domain. UN-Lencep is suitable for automatically obtaining the so-called Pre-conceptual Schemas. •The definition of Pre-conceptual Schemas syntax and the set of rules for generating them from UN-Lencep. •The proposal of a set of heuristic rules for generating Class, Communication, and State Machine diagrams by means of Pre-conceptual Schemas. •The implementation of the above defined elements in a new kind of CASE tool to interpret a UN-Lencep discourse and to automatically generate the mentioned UML diagrams. UNC-Diagrammer, the prototype of such CASE tool, is also a contribution of this Thesis. We make these contributions in order to: •Reduce the time period dedicated to UML diagrams making. •Improve the quality of UML diagrams generated from one UN-Lencep discourse. •Create a set of artifacts to improve the analyst-stakeholder communication. To achieve this goal, we pretend to bridge the gap between technical and natural language. Better communication facilitates validation of the modeling elements, which represent the information solution of a problem. •Improve the quality of the models. Better quality is related to the reduction of errors in correction (the adequate use of syntax), consistency (the proper representation of the same element in different diagrams), and completeness (the use, in the diagrams, of enough elements from the UN-Lencep discourse). The results of this Thesis can generate the following future work: •Automatic generation of a source executable code from the diagrams made by means of the UNC-Diagrammer. •Definition of additional heuristic rules to obtain other UML diagrams, for example Sequence or Use Case diagrams. •Addition of new elements to the UN-Lencep specification, in order to make it close to the natural language.Doctorad

Identificación de patrones de diseño para software científico a partir de esquemas preconceptuales

Los patrones de diseño son soluciones a problemas de diseño recurrentes en software científico. Estos patrones se usan para mitigar la ausencia de algunos aspectos de calidad inherentes al software. Los científicos, debido a su formación profesional, abordan diseños poco flexibles y difíciles de mantener en sus aplicaciones. Además, en ausencia de un lenguaje común con ingenieros de software se hace muy compleja la comunicación y validación del dominio de aplicación. Normalmente, las representaciones de los patrones de diseño se basan en diagramas de UML u otro tipo de grafos. Estos diagramas son difíciles de entender para los científicos e ingenieros de software inexpertos debido a su nivel de formalismo y, además, porque sólo representan el patrón de diseño aplicado y no el problema genérico que resuelven. Por otro lado, estos diagramas como unidad no poseen los elementos necesarios para representar completamente un dominio de software científico y se deben valer de la combinación de varios de ellos para hacerlo. Por ello, en esta Tesis de Maestría se propone una representación en esquemas preconceptuales de los patrones de diseño más usados en software científico y, además, la representación genérica del problema que resuelven. Adicionalmente, se presentan una serie de nuevos elementos para los esquemas preconceptuales que permiten la completa representación y validación de los dominios complejos presentes en el software científico. Al usar esquemas preconceptuales se facilita el entendimiento de los patrones de diseño debido a su proximidad con el lenguaje natural y a los elementos disponibles para su representación. Además, se hace posible la comunicación y validación del dominio de aplicación entre científicos e ingenieros de software. Este trabajo ayuda a la comunidad científica a hacer un diseño más robusto, flexible y fácil de mantener de su aplicación, y además, abre las puertas a la automatización de la implementación de los patrones de diseño a partir de una representación del dominio en esquemas preconceptuales.Abstract: Design patterns are solutions for recurrent design problems in scientific software. These patterns are used to mitigate the lack of several quality aspects inherent in the software. Scientists, due to their professional training, tackle little flexible and maintainable designs for their software applications. In addition, in the absence of a common vocabulary with software engineers, domain communication and validation becomes complex. Normally, design patterns representation are based on UML class diagrams or other kind of graphs. These diagrams are difficult to understand for scientist and inexperienced software engineers due to their level of formalism and, also because of this diagrams only represents the implemented design pattern and not the generic problem the design patterns solves. Furthermore, these diagrams as unity do not have the necessary elements to represent scientific software domains completely, so they must combine to do it. For this reason, in this Master’s Thesis it is proposed a representation of design patterns for scientific software by using preconceptual schemes, and also, a generic representation of the problem that design patterns address. Additionally, it is proposed a number of new elements for preconceptual schemes that allows a complete representation and validation of complex domains in scientific software. By using preconceptual schemes facilitates design patterns understanding due to their natural language proximity. In addition, it is made possible the validation and communication of application domain between scientists and software engineers. This work helps scientific community to make robust, flexible and maintainable software applications, and also, opens the doors to automated design pattern implementation from domain representation in preconceptual schemes.Maestrí

Los modelos verbales en lenguaje natural y su utilización en la elaboración de esquemas conceptuales para el desarrollo de software: una revisión crítica

El desarrollo de software inicia con una serie de entrevistas realizadas a los usuarios potenciales con el fin de determinar los requisitos del software; como resultado de las entrevistas se obtienen modelos verbales en lenguaje natural. A partir de los modelos verbales es posible construir esquemas conceptuales, que son diagramas que permiten representar gráficamente los datos y funciones asociados con el problema para realizar el desarrollo del software. En este artículo se compendian los trabajos que en esta materia se han adelantado a nivel mundial, realizando un análisis de los posibles tópicos de investigación a partir de los problemas no resueltos

CHARACTERIZATION OF THE ELEMENTS THE GOAL DIAGRAM KAOS FROM NATURAL LANGUAGE

La educción de requisitos de software es una actividad propia de la primera fase del ciclo de vida del software, en ésta, se utilizan diferentes diagramas que ayudan al analista a efectuar el proceso de identificación y validación de requisitos de software, entre éstos, se utiliza el diagrama de objetivos de KAOS que permite: (i) establecer las responsabilidades de los actores; y (ii) expresar a los interesados (usuarios) la importancia del software futuro. En los trabajos que utilizan el diagrama de objetivos subsisten problemas tales como: (i) el analista es quien elabora el diagrama de objetivos de manera subjetiva; y (ii) no se identifica la trazabilidad del diagrama de objetivos obtenido con relación al universo del discurso presentado por el interesado en lenguaje natural. En este artículo, se realiza la identificación de los elementos básicos (objetivo, requisito, actor) del diagrama de objetivos de KAOS a partir de: (i) El uso del lenguaje natural; y (ii) la definición de reglas gramaticales. Este proceso sirve como punto de partida para: (i) la identificación de los demás elementos que componen el diagrama de objetivos de KAOS; y (ii) la elaboración automática de dicho diagrama. Palabras clave: Objetivo, requisito, actor, educción, desarrollo.The software requirements elicitation is an activity for the first phase of the software life cycle, in this, they use different diagrams that help the analyst to make the process of identifying and validating software requirements, among these, is used diagram KAOS goal enabling: (i) establish the responsibilities of the actors, and (ii) to express stakeholders (users) the importance of future software. In studies using the diagram of objectives still problems such as: (i) the analyst who prepared the diagram of objectives subjectively, and (ii) not identified traceability objectives diagram obtained in relation to the universe of discourse presented by the applicant in natural language. In this paper, we make the identification of basic elements (objective requirement actor) diagram KAOS goal from: (i) The use of natural language, and (ii) the definition of grammar rules. Thisprocess serves as the basis for: (i) identification of the other elements of the diagram KAOS goal, and (ii) the automatic production of this diagram

Un método para el refinamiento interactivo del diagrama de clases de uml

Durante el proceso de elicitacion de requisitos se presentan problemas de comunicación entre analistas e interesados que suelen ocasionar perdidas de requisitos funcionales. Estas perdidas se aminoran mediante el refinamiento de los esquemas conceptuales, en particular el diagrama de clases de UML. Existen algunos acercamientos al refinamiento del diagrama de clases, pero que no realizan ciclos de interacción con el interesado; otros enfoques realizan refinamiento interactivo del diagrama entidad-relación, un diagrama que no posee toda la información contenida en el diagrama de clases. En este articulo se realiza el refinamiento del diagrama de clases de UML mediante la interacción con el interesado. Para ello, se proponen reglas de completitud que se disparan en lenguaje natural y se emplea un corpus de diagramas de clases para complementar el conocimiento del analista en un determinado dominio. El análisis de completitud propuesto se ilustra con un prototipo en la herramienta UNCDiagramador y se ejemplifica con un caso de estudio

Los modelos verbales en lenguaje natural y su utilización en la elaboración de esquemas conceptuales para el desarrollo de software: una revisión crítica

Software development begins with a series of interviews to potential users with the purpose of determining the software requirements; as a result of the interviews yield verbal models in natural language. Based on the verbal models, conceptual frameworks can be designed. These are diagrams that allow graphic data and functions related to the problem to develop software. This article covers worldwide work carried out in this field, with an analysis of the possible research topics based on the unsolved problems.El desarrollo de software inicia con una serie de entrevistas realizadas a los usuarios potenciales con el fin de determinar los requisitos del software; como resultado de las entrevistas se obtienen modelos verbales en lenguaje natural. A partir de los modelos verbales es posible construir esquemas conceptuales, que son diagramas que permiten representar gráficamente los datos y funciones asociados con el problema para realizar el desarrollo del software. En este artículo se compendian los trabajos que en esta materia se han adelantado a nivel mundial, realizando un análisis de los posibles tópicos de investigación a partir de los problemas no resueltos

Modelo para la especificación de requisitos iniciales de software a partir de la relación sintáctica y semántica entre objetivos y problemas

Uno de los desafíos de la educción de requisitos de software es garantizar que los requisitos del sistema sean consistentes, pertinentes y contextualizados con las necesidades de la organización. Para llevar a cabo esta tarea, el analista realiza el proceso de forma manual, basado en su experiencia y conocimiento. La educción de requisitos de software requiere, en sus procesos iniciales de análisis organizacional, una alta participación del analista y el interesado, para reconocer el dominio en el que se desplegará el producto de software, incluyendo objetivos de la organización, problemas del dominio y objetivos del sistema a implementar. Muchos de los trabajos enfocados en esta fase de la ingeniería de software establecen que los objetivos organizacionales son una base importante para generar trazabilidad y consistencia entre los problemas del dominio y los requisitos del sistema. Algunas metodologías de desarrollo de software, de ingeniería de software orientada a objetivos (Goal-Oriented Requirements Engineering, GORE) y de análisis organizacional utilizan esquemas de representación para los problemas del dominio y los objetivos. Por ejemplo, el UNC-Method (Método para el Desarrollo de Aplicaciones de Software de la Universidad Nacional de Colombia) emplea una adaptación del diagrama causa-efecto para especificar los problemas del dominio y relacionarlos con los objetivos y los actores del sistema; el Business Modeling with UML define un esquema de objetivos que relaciona gráficamente objetivos y problemas; el NFR FrameWork especifica los problemas por medio de marcos de problemas en el proceso de educción de requisitos no funcionales. La metodología KAOS y los FrameWorks I* y TROPOS definen requisitos de software a partir de objetivos organizacionales y la metodología de análisis organizacional marco lógico relaciona objetivos y problemas en la formulación de proyectos para la toma de decisiones. Todos estos trabajos carecen de representaciones formales para la especificación de objetivos organizacionales, problemas de dominio y objetivos del sistema y, por tal motivo, es difícil generar consistencia y trazabilidad en el proceso, porque los analistas suelen especificar objetivos y problemas de forma subjetiva y en muchos casos no se enuncian con información que denote realmente un problema o un objetivo. Existe un trabajo inicial que vincula objetivos y problemas a partir de la negación de los primeros, generando una relación entre ellos, pero que sólo utiliza reglas sintácticas para relacionar términos comunes enunciados en los objetivos y los problemas. La Tesis Doctoral que se presenta a continuación define un modelo para la especificación, formalización y relación de los objetivos organizacionales, problemas del dominio y objetivos del sistema en la fase de educción de requisitos de software, permitiendo generar trazabilidad y consistencia. Se estructura un conjunto de reglas sintácticas y semánticas que facilitan una relación de asociación de términos comunes del dominio. La Tesis se valida por medio de casos de estudio donde se aplica el modelo y se respalda con un conjunto de publicaciones generadas de la propuesta doctoral.Abstract: guaranteeing the systems requirements are consistent, relevant, and in the context of the organizational needs is one of the most important challenges in software requirements elicitation. With this aim in mind, analysts—based on their experience and knowledge—manually execute the process. The early stages of software requirements elicitation requires high involvement of the analyst and the stakeholder for recognizing the domain in which the software product will be displayed. Such a domain comprises the organizations goals, the goals of the system to be implemented, and the domain problems.Some research has been focused on this stage of software engineering. According to this, organizational goals are important foundations for the generation of traceability and consistency among domain problems and systems requirements. Some methodologies for software development—Goal-Oriented Requirements Engineering (GORE) and organizational analysis—use representation schemes for domain problems and goals. For example, the UNC-Method (software application development method of the Universidad Nacional de Colombia) employs an adaptation of cause-effect diagrams for specifying domain problems and linking them to the systems goals and actors. Business Modelling with UML creates a diagram of goals for graphically connecting goals and problems. NFR FrameWork specifies problems by means of problem frameworks in the non-functional requirements elicitation process. KAOS methodology, I*, and TROPOS define software requirements—system goals—based on organizational goals, whereas the logical framework methodology for organizational analysis relates goals to problems in the creation of projects for making decisions. All of this research lacks formal representations to specify goals—both organizational and system goals—and domain problems. Therefore, traceability and consistency are difficult to evaluate in the process. Analysts tend to specify goals and problems in a subjective way, so problems and goals are unrecognized. An initial study links goals and problems by denying the former and generating a relationship between them. However, only syntactical rules to relate common terms that appear in the goals and problems are used. Thus, low traceability or consistency can be established among organizational goals, domain problems and system goals. In this doctoral dissertation, we define a model to specify, formalize and relate domain problems, and organizational and system goals in the early stages of software requirements elicitation. Thus, we can evaluate traceability and consistency among them. A set of semantic and syntactic rules is generated for linking common terms belonging to the domain. The dissertation is validated by using case studies in which the model is applied. Also, some publications based on the dissertation proposal are used to validate the modelMaestrí

Método de Consistencia en la Relación entre Problemas y Objetivos para el Proceso de Elicitación de Requisitos de Software

La captura de requisitos es un proceso manual que lleva a cabo el analista con base en su experiencia e inter- pretación. En este proceso, la definición de los problemas por solucionar y su relación con los objetivos de la organización se realizan sin seguir unas pautas que garanticen la consistencia. En muchos casos, esto trae consigo problemas posteriores en el ciclo de vida del software. Métodos de ingeniería de software utilizan el diagrama de objetivos de KAOS y el diagrama causa-efecto para representar objetivos y problemas, pero siguen siendo una tarea de interpretación del analista, sin tener en cuenta métodos de consistencia para su representación. El artículo aborda la generación de un método que establezca de forma automática y consistente la relación entre objetivos de la organización y los problemas que se detectan en el proceso de educción de requisitos, además de presentar un conjunto de estructuras lingüísticas para la representación de problemas y objetivos.Palabras clave: Estructura de problemas, estructura de objetivos, relaciones de consistencia, estructuras grama- ticales, educción de requisitos

Definición de equivalencias entre historias de usuario y especificaciones en UN-LENCEP para el desarrollo ágil de software

Resumen: en el desarrollo de software, las metodologías ágiles muestran efectividad en proyectos con restricciones de tiempo y flexibilidad. Esto se debe al valor que se le da a la interacción entre los interesados y los desarrolladores, concibiendo un desarrollo incremental del software con iteraciones muy cortas. La metodología XP (Extreme programming), es adecuada para proyectos con requisitos imprecisos y muy cambiantes, y donde existe un alto riesgo técnico. En ésta metodología, se emplea la técnica de captura de requisitos como historias de usuario, que los interesados suelen escribir. Sin embargo, las metodologías ágiles, aparte de requieren alto conocimiento, gran experiencia de los desarrolladores y por ende un alto costo del mismo, se necesita de una especificación detallada y precisa que no sea ambigua ni que se presente para malas interpretaciones. Adicional a esto, se requiere por agilidad reducir los tiempos de implementación en gran manera y una capacidad de dar soporte a partir de una documentación bien elaborada que no se propicia en las metodologías ágiles. Debido a esto, en esta Tesis se definen equivalencias entre las historias de usuario y el lenguaje controlado UN-LENCEP que actualmente genera código, como una forma de mejorar el desarrollo ágil de software.Abstract: In the software development lifecycle, agile methodologies seem to be effective in projects with time and flexibility constraints. Such effectiveness is rooted on the value given to the stakeholder-developer interaction. Consequently, an incremental software development with short iterations is suitable. XP (Extreme Programming) is adequate for projects with changing, imprecise requirements and prone to high technical risks. Requirements elicitation in XP is made by using stakeholder-written User Stories. However, agile methods require a high level of knowledge and vast experience of the developers, raising the software development cost. Also, a detailed, precise, unambiguous specification is needed in order to reduce misunderstandings. Finally, agility demands reduction of the implementation time and the usage of a well-written documentation—but documentation is not promoted by agile methods. As a way to deal with the aforementioned problems, in this Thesis I define equivalences among user stories and the UN-LENCEP controlled language, which currently generates source code. I aim the improvement of the agile software development.Maestrí